منابع مشابه
Tools for Formal Software Engineering
We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integrat...
متن کاملSoftware Engineering Tools
Automated tools play an important role in the promotion and adoption of software engineering methods and processes. The development of these tools is itself a significant software engineering task, requiring a considerable investment of time and resources. There are a large number of different kinds of automated software engineering tools, variously known as CASE, CAME, IPSE, SEE, and metaCASE ...
متن کاملSoftware engineering tools.
We have looked at general descriptions and illustrations of several software development tools, such as tools for prototyping, developing DFDs, testing, and maintenance. Many others are available, and new ones are being developed. However, you have at least seen some examples of powerful CASE tools for systems development.
متن کاملSoftware Tools for Scalable Multilevel Application Engineering
Contemporary activities at CSCS/SCSC have resulted in two complementary software systems for practical parallel programming. Both developments are user-oriented and application-driven, eeciently exploiting and reusing demonstrated portable technologies at multiple levels which we have proven to scale to systems with large numbers of processors. The Annai parallel application engineering environ...
متن کاملTGE Approach for Constructing Software Engineering Tools
We describe an environment for building software engineering tools. The proposed Tool Generation Environment (TGE) is intended for use by skilled and experienced software engineers to construct effective CASE tools quickly and at low cost. The TGE is designed to be platform independent, multi-method, highly interoperable, and amenable to rigorous analysis. The TGE incorporates meta-CASE concept...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Astronomical Union Colloquium
سال: 1991
ISSN: 0252-9211
DOI: 10.1017/s0252921100003729